概要： 本稿は、2次元共形場理論（CFT）の代数的定式化である頂点作用素代数（Vertex Operator Algebra, VOA）の加群の圏からモジュラーテンソル圏（Modular Tensor Category, MTC）を厳密に構成し、共形場理論における最重要予想であったVerlindeの公式（Verlinde Formula）を完結させるまでの一連の理論体系を、自己完結的（self-contained）に数学的厳密さをもって解説したものである。
特に、Yi-Zhi Huang（黄一知）および James Lepowsky らの15年以上にわたる一連の論文群に基づき、各構成要素（アソシエーター、ブレーディング、リジッド構造、リボンツイスト）の解析的・圏論的導出プロセス、および黄の各主要論文における具体的対応箇所（章、節、定理）を漏れなく明記する。
2次元共形場理論（Conformal Field Theory, CFT）は、1984年に A. A. Belavin, A. M. Polyakov, A. B. Zamolodchikov によって定式化されて以来、弦理論、統計力学の臨界現象、凝縮系物理学（量子ホール効果や位相的量子計算）の基礎として目覚ましい発展を遂げてきた。
物理学的な CFT におけるカイラル代数（Chiral Algebra）の厳密な代数的基礎として、R. Borcherds (1986) および I. Frenkel, J. Lepowsky, A. Meurman (1988) は頂点作用素代数（VOA）の概念を導入した。一方、1980年代末に E. Verlinde (1988) は、トーラス上の分配関数のモジュラー変換行列 $S$ と、場の結合度数を表すフュージョン代数（Fusion algebra）の重複度（フュージョン係数 $N_{ij}^k$）を結ぶ驚くべき公式（Verlindeの公式）を提唱した。
さらに、G. Moore と N. Seiberg (1988, 1989) は、カイラル共形ブロックのデュアル変換や解析接続の接続行列が満たすべき一連の多項式方程式（Moore-Seiberg 多項式方程式）を提示し、Rational CFT の共形ブロックの表現圏が「モジュラーテンソル圏（MTC）」と呼ばれる豊かな構造を持つことを予見した。
しかし、これらの物理的直観を数学的に厳密な証明へと高めるには、多価解析関数である相関関数の収束性、確定特異点型微分方程式のモノドロミー、微分同相群の表現、およびテンソル積の構成という超大型の解析的・圏論的障害が存在した。このプログラムを1990年代から2000年代後半にかけて完遂させたのが、Yi-Zhi Huang（黄一知）および James Lepowsky らの研究である。
頂点作用素代数（Vertex Operator Algebra, VOA）とは、4つ組 $(V, Y, {\bf 1}, \omega)$ からなる数学的構造である。ここで $V$ は $\mathbb{Z}$-次数付き複素ベクトル空間
$$V = \bigoplus_{n \in \mathbb{Z}} V_{(n)}, \quad \dim V_{(n)} < \infty, \quad V_{(n)} = 0 \quad (\text{for } n \ll 0)$$であり、$Y$ は各 $v \in V$ に対して頂点作用素（Vertex Operator）と呼ばれる形式的ローラン級数を与える線形写像
$$Y(\cdot, z) : V \to (\text{End } V)[[z, z^{-1}]], \quad v \mapsto Y(v, z) = \sum_{n \in \mathbb{Z}} v_n z^{-n-1} \quad (v_n \in \text{End } V)$$である。また、${\bf 1} \in V_{(0)}$ は真空ベクトル（Vacuum vector）、$\omega \in V_{(2)}$ は共形ベクトル（Conformal vector）であり、以下の公理を満たす：
VOA $V$ 上の加群（$V$-module）とは、$\mathbb{C}$-次数付きベクトル空間 $W = \bigoplus_{h \in \mathbb{C}} W_{(h)}$ であり、各 $W_{(h)}$ は有限次元かつ $h$ の実部について下方に有界であり、線形写像
$$Y_W(\cdot, z) : V \to (\text{End } W)[[z, z^{-1}]], \quad v \mapsto Y_W(v, z) = \sum_{n \in \mathbb{Z}} v_n^W z^{-n-1}$$が与えられ、$V$ 自体の公理と互換な真空公理、Virasoro代数の作用（$L(0)$ 作用が次数に一致）、および $V$ の元 $u, v$ と $W$ への作用に関するヤコビ等式を満たすものである。
本稿で対象とする VOA $V$ は以下の正則性・正定値性の条件を満たすものと仮定する：
$V$-加群 $W = \bigoplus_{h} W_{(h)}$ に対し、その反傾加群（Contragredient module） $W^*$ を、Graded dual 空間
$$W^* = \bigoplus_{h \in \mathbb{C}} (W_{(h)})^*$$として定義する。$V$ の作用 $Y_{W^*}(v, z)$ は、任意の $w' \in W^*$, $w \in W$, $v \in V$ に対するペアリング $\langle \cdot, \cdot \rangle$ を通じて以下のように厳密に定義される：
$$\langle Y_{W^*}(v, z) w', w \rangle = \langle w', Y_W(e^{z L(1)} (-z^{-2})^{L(0)} v, z^{-1}) w \rangle$$通常の環論における加群の射に対応する概念を超えて、CFT において３つの加群の間の「場の相互作用」を記述するのがインターツワイニング作用素である。
$W_1, W_2, W_3$ を $V$-加群とする。型 $\binom{W_3}{W_1 \, W_2}$ のインターツワイニング作用素（Intertwining Operator） $\mathcal{Y}(\cdot, z)$ とは、線形写像
$$\mathcal{Y}(\cdot, z) : W_1 \to (\text{Hom}_\mathbb{C}(W_2, W_3))\{z\}, \quad w_1 \mapsto \mathcal{Y}(w_1, z) = \sum_{n \in \mathbb{C}} (w_1)_n z^{-n-1}$$であり（ここで $\{z\}$ は一般の複素数ベキを認める形式的級数）、以下の公理を満たすものである：
型 $\binom{W_3}{W_1 \, W_2}$ のインターツワイニング作用素全体のなす複素ベクトル空間を $\mathcal{V}_{W_1 W_2}^{W_3}$ と書く。その次元 $N_{W_1 W_2}^{W_3} = \dim \mathcal{V}_{W_1 W_2}^{W_3}$ をフュージョン係数（Fusion rule）と呼ぶ。
理論の理解を深めるため、代表的な VOA の具体例を挙げる。
1次元ハイゼンベルク代数 $\hat{\mathfrak{h}} = \mathbb{C}[t, t^{-1}] a \oplus \mathbb{C} K$ （$[a_m, a_n] = m \delta_{m+n, 0} K$）の対称 Fock 空間 $V_{\hat{\mathfrak{h}}} = M(0)$ は $c=1$ の VOA をなす。その最高ウェイト表現 $M(\alpha)$（$\alpha \in \mathbb{C}$）間のインターツワイニング作用素は、頂点作用素
$$Y_\alpha(z) = :e^{\alpha \phi(z)}: = \exp\left( \alpha \sum_{n < 0} \frac{a_n}{-n} z^{-n} \right) \exp\left( \alpha \sum_{n > 0} \frac{a_n}{-n} z^{-n} \right) e^{\alpha q} z^{\alpha a_0}$$として明確に書き下される。フュージョン則は群の加法構造に対応し、$M(\alpha) \boxtimes M(\beta) \cong M(\alpha + \beta)$ となる。
中心電荷 $c = 1/2$ の Ising VOA $V_{Ising}$ は、3つの既約加群 $\mathcal{I} = \{ {\bf 1}, \epsilon, \sigma \}$（コンフォーマル重み $0, 1/2, 1/16$）を持つ。フュージョンルールは以下の非可換でない非自明な積を与える：
$$\epsilon \boxtimes \epsilon = {\bf 1}, \quad \epsilon \boxtimes \sigma = \sigma, \quad \sigma \boxtimes \sigma = {\bf 1} \oplus \epsilon$$代数群や環の表現論とは異なり、VOA 加群の圏 $\mathcal{C}$ におけるテンソル積は単純な点ごとのベクトル空間のテンソル積 $W_1 \otimes_\mathbb{C} W_2$ では定義できない。Huang と Lepowsky は、幾何学的な複素点 $z \in \mathbb{C}^\times$ に依存する$P(z)$-テンソル積の概念を定式化した。
$z \in \mathbb{C}^\times$ とする。$V$-加群 $W_1, W_2$ に対して、その $P(z)$-テンソル積 $(W_1 \boxtimes_{P(z)} W_2, Y_{P(z)})$ とは、$V$-加群 $W_1 \boxtimes_{P(z)} W_2$ および型 $\binom{W_1 \boxtimes_{P(z)} W_2}{W_1 \, W_2}$ の $P(z)$-インターツワイニング作用素 $Y_{P(z)}(\cdot, z)$ のペアであって、以下の普遍性（Universality）を満たすものである：
任意の $V$-加群 $W_3$ と、任意の型 $\binom{W_3}{W_1 \, W_2}$ のインターツワイニング作用素 $\mathcal{Y}(\cdot, z)$ に対し、唯一つの $V$-加群準同型 $\phi \in \text{Hom}_V(W_1 \boxtimes_{P(z)} W_2, W_3)$ が存在して、
$$\mathcal{Y}(w_1, z) w_2 = \phi( Y_{P(z)}(w_1, z) w_2 )$$が任意の $w_1 \in W_1, w_2 \in W_2$ について成立する。
特に $z = 1$ におけるテンソル積を標準的なテンソル積 $W_1 \boxtimes W_2 := W_1 \boxtimes_{P(1)} W_2$ と定める。異なる点 $z_1, z_2$ に対する $P(z_1)$-テンソル積と $P(z_2)$-テンソル積は、Virasoro 代数作用 $e^{\log(z_1/z_2) L(0)}$ により同型となる。
テンソル圏における最も本質的な条件の一つが、3つの対象の積をつなぐ自然同型アソシエーター（Associator）
$$\alpha_{W_1, W_2, W_3} : (W_1 \boxtimes W_2) \boxtimes W_3 \xrightarrow{\sim} W_1 \boxtimes (W_2 \boxtimes W_3)$$の存在と、それが満たす五角形公理（Pentagon Axiom）である。
代数的に構成されたテンソル積に対し、アソシエーターの存在を保証するには、インターツワイニング作用素の積（Product）と反復（Iterate）の解析接続を証明しなければならない。
$w_1 \in W_1, w_2 \in W_2, w_3 \in W_3, w' \in W_4^*$ に対し、以下の2つの 4 点相関関数を考える：
$V$ を $C_2$-有限かつ有理的な VOA とする。このとき、上記の積 $g_{prod}(z_1, z_2)$ および反復 $g_{iter}(z_1, z_2)$ は指定された領域で絶対収束し、複素領域
$$M_2 = \{ (z_1, z_2) \in \mathbb{C}^2 \mid z_1 \neq 0, z_2 \neq 0, z_1 \neq z_2 \}$$上の多価解析関数へと解析接続される。さらに、領域 $|z_1| > |z_2| > |z_1 - z_2| > 0$ の共通部分において両者は完全に一致する：
$$g_{prod}(z_1, z_2) = g_{iter}(z_1, z_2)$$この証明の核となるのは、$C_2$-有限性条件から導かれる相関関数が満たす偏微分方程式系（Knizhnik-Zamolodchikov (KZ) 方程式の一般化）の構造である。
$V$ が $C_2$-有限であることから、任意の加群 $W$ の元 $w$ に対し、ある十分大きな $N \in \mathbb{N}$ と $V$ の元 $v^{(k)}$ が存在して、
$$L(-1)^N w + \sum_{k=0}^{N-1} v^{(k)}_{-1} L(-1)^k w = 0$$という形の関係式が成り立つ。これにインターツワイニング作用素のヤコビ等式と $L(-1)$-微分則を適用することで、相関関数 $f(z_1, z_2)$ は以下の形の階数有限な偏微分方程式系を満たす：
$$\frac{\partial^N f}{\partial z_1^N} + \sum_{k=0}^{N-1} A_k(z_1, z_2) \frac{\partial^k f}{\partial z_1^k} = 0$$ここで係数 $A_k(z_1, z_2)$ は $z_1 = 0, z_2, \infty$ にのみ特異点を持つ有理関数である。この微分方程式は $z_1 = z_2$ において確定特異点（Regular Singular Point）を持つ。常微分方程式のフックス（Fuchs）理論の多変数への拡張により、確定特異点のまわりでの解の収束半径は隣接する特異点までの距離によって完全に決定される。
したがって、$|z_1| > |z_2| > 0$ で収束する積の解は $|z_1 - z_2| < |z_2|$ まで解析接続され、そのまま $z_1 - z_2$ に関するベキ級数展開（反復の形式）へと一意に変形される。Q.E.D.
上記の解析接続の評価から、任意の加群 $W_1, W_2, W_3$ に対して、テンソル積の間の自然同型
$$\alpha_{W_1, W_2, W_3} : (W_1 \boxtimes W_2) \boxtimes W_3 \xrightarrow{\sim} W_1 \boxtimes (W_2 \boxtimes W_3)$$が誘導される。さらに、4つの対象 $W_1, W_2, W_3, W_4$ のテンソル積に対して 5 点相関関数の収束領域の解析接続を考えることにより、以下の可換図式（五角形公理 / Pentagon Axiom）が厳密に証明される：
テンソル積の順序を入れ替える自然同型ブレーディング（Braiding）
$$c_{W_1, W_2} : W_1 \boxtimes W_2 \xrightarrow{\sim} W_2 \boxtimes W_1$$は、幾何学的には複素平面上での挿入点の回転（モノドロミー）として定義される。
型 $\binom{W_3}{W_1 \, W_2}$ のインターツワイニング作用素 $\mathcal{Y}(w_1, z) w_2$ を考える。複素数 $z$ を原点のまわりに反時計回りに $\pi$ （半周）だけ回転させる解析接続パス $\gamma(t) = z e^{i t} \quad (t \in [0, \pi])$ に沿って相関関数を連続変形すると、新たな型のインターツワイニング作用素
$$\Omega_1(\mathcal{Y})(w_2, e^{i\pi} z) w_1 = e^{z L(-1)} \mathcal{Y}(w_1, e^{i\pi} z) w_2$$が得られる。これにより誘導されるテンソル積の同型写像がブレーディング $c_{W_1, W_2}$ である。
ブレーディング $c$ はアソシエーター $\alpha$ と適合し、以下の2つの六角形公理（Hexagon Axioms）を満たす：
圏 $\mathcal{C}$ がリジッド圏（Rigid Tensor Category）であるとは、すべての対象 $W$ が双対対象 $W^*$ を持ち、適切な評価射（Evaluation）と余評価射（Coevaluation）を備えていることを意味する。
$W$ を既約 $V$-加群、$W^*$ をその反傾加群とする。代数的なペアリング $\langle \cdot, \cdot \rangle : W^* \otimes W \to \mathbb{C}$ から、単位対象 $V$ への射としての評価射および余評価射を構成する。
任意の加群 $W \in \mathcal{C}$ に対し、評価射 $ev_W$ と余評価射 $coev_W$ は以下のスネーク方程式（Snake Equations / Triangle Identities）を満たす：
$$(ev_W \boxtimes \text{id}_W) \circ \alpha_{W, W^*, W}^{-1} \circ (\text{id}_W \boxtimes coev_W) = \text{id}_W$$ $$(\text{id}_{W^*} \boxtimes ev_W) \circ \alpha_{W^*, W, W^*} \circ (coev_W \boxtimes \text{id}_{W^*}) = \text{id}_{W^*}$$代数的なベクトル空間では同型 $\sum_i \langle w', w^{(i)} \rangle w^{(i)}{}' = w'$ は自明であるが、テンソル積 $\boxtimes$ においてはアソシエーター $\alpha$ とインターツワイニング作用素の接続行列を介して証明しなければならない。
合成射 $(ev_W \boxtimes \text{id}_W) \circ \alpha^{-1} \circ (\text{id}_W \boxtimes coev_W)$ の $w \in W$ への作用は、球面上の3点相関関数 $\langle w', \mathcal{Y}_{ev}(\mathcal{Y}_{coev}(w, z_1), z_2){\bf 1} \rangle$ の長距離極限および幾何学的コンフォーマルブロックの幾何的接続問題に帰着される。
Huang は、共形ブロックの空間の非退化ペアリングおよび共形空間の構造定数の計量テンソルによる反転（反傾加群の自己双対性）を用いることで、この合成射が正確に恒等射 $\text{id}_W$ に一致することを代数的・解析的に完全証明した。Q.E.D.
リジッド・ブレイド・テンソル圏がリボン圏（Ribbon Category）となるには、各対象に 360 度回転を表す自己同型射リボンツイスト（Ribbon Twist） $\theta_W : W \xrightarrow{\sim} W$ が与えられなければならない。
$V$-加群 $W$ に対し、リボンツイスト $\theta_W \in \text{Aut}_V(W)$ を Virasoro 代数の $L(0)$ 演算子および中心電荷 $c$ を用いて以下のように定義する：
$$\theta_W = e^{2\pi i (L(0) - c/24)}$$定義された $\theta_W$ は以下の公理を満たし、圏 $\mathcal{C}$ にリボン圏の構造を与える：
特に既約加群 $W_i$ 上では $L(0)$ の最小固有値（コンフォーマル重み）を $h_i$ とすると、$\theta_{W_i}$ はスカラー $v_i = e^{2\pi i (h_i - c/24)}$ として作用する。
ここが本解説における最重要のハイライトである。位相幾何学（結び目理論）から定式化される「圏論的 S 行列」と、幾何学・解析学（リーマン面・モジュラー形式）から定式化される「指標のモジュラー S 行列」という、起源の全く異なる2つの行列がなぜ完全一致するのかを解き明かす。
リボン圏 $\mathcal{C}$ の単純対象の同型類の代表系を $\mathcal{I} = \{W_0, W_1, \dots, W_n\}$（$W_0 = V$）とする。2つのループが複雑に絡み合うホップ絡み目（Hopf link）の幾何学的トレースとして、圏論的 S 行列 $\tilde{S}$ の各成分 $\tilde{S}_{ij}$ が定義される：
具体的に評価射・余評価射の図式で書き下すと以下の合成射のトレース（$V \to V \cong \mathbb{C}$ のスカラー倍）である：
$$\tilde{S}_{ij} \text{id}_V = ev_{W_i} \circ (\text{id}_{W_i^*} \boxtimes ev_{W_j}) \circ (\text{id}_{W_i^*} \boxtimes c_{W_j, W_i} \boxtimes \text{id}_{W_j^*}) \circ (\text{id}_{W_i^*} \boxtimes c_{W_i, W_j} \boxtimes \text{id}_{W_j^*}) \circ (coev_{W_i} \boxtimes coev_{W_j})$$圏 $\mathcal{C}$ の大域次元（Global dimension） $\mathcal{D}$ を $\mathcal{D} = \sqrt{\sum_{k=0}^n d_k^2}$ と定義する（ここで $d_k = \tilde{S}_{0k}$ は対象 $W_k$ の量子次元）。圏論的 S 行列が非退化（可逆）であるとき、リボン圏 $\mathcal{C}$ はモジュラーテンソル圏（MTC）と呼ばれる。
一方、幾何学的なトーラス $\mathbb{C} / (\mathbb{Z}\tau + \mathbb{Z})$（$\tau \in \mathbb{H}$）上で、各 $V$-加群 $W_i$ の指標（Character / 1点関数）を以下のように定義する：
$V$ が $C_2$-有限かつ有理的な VOA ならば、指標の空間 $\text{Span}_\mathbb{C} \{ \chi_0(\tau), \dots, \chi_n(\tau) \}$ はモジュラー群 $SL(2, \mathbb{Z})$ の表現空間をなす。特にモジュラー S-変換 $\tau \mapsto -1/\tau$ に対し、ある可逆行列 $S = (S_{ij})_{i,j=0}^n$ が存在して以下を満たす：
$$\chi_i\left(-\frac{1}{\tau}\right) = \sum_{j=0}^n S_{ij} \chi_j(\tau)$$解析的に定義されたモジュラー変換行列 $S_{ij}$ と、圏論的に定義されたホップ絡み目行列 $\tilde{S}_{ij}$ の間には、以下の厳密な等式が成り立つの：
$$S_{ij} = \frac{1}{\mathcal{D}} \tilde{S}_{i, j^*}$$（ここで $j^*$ は双対加群 $W_j^*$ のインデックスを表す）。
この定理の証明は、Huang の Verlinde 予想完全証明論文における最大の金字塔である。論理構造を以下の 4 ステップに分けて完全に追跡する。
この等式がもたらす極めて重要な結論：
Zhuの定理によってモジュラー変換行列 $S$ は可逆（非退化）であることが解析的に保証されている。したがって、上の等式により圏論的 S 行列 $\tilde{S}$ も自動的に可逆（非退化）となる。これにより、$V$ の加群の圏 $\mathcal{C}$ がモジュラーテンソル圏（MTC）の公理を完全に満たすことが確定したのである！ Q.E.D.
圏 $\mathcal{C}$ がモジュラーテンソル圏（$\tilde{S}$ が非退化）であることが確定したため、最後にフュージョン係数 $N_{ij}^k$ を $S$ 行列で書き下すVerlindeの公式を導出する。
任意の $i, j, k \in \{0, 1, \dots, n\}$ に対し、フュージョンルール $N_{ij}^k = \dim \mathcal{V}_{W_i W_j}^{W_k}$ はモジュラー S 行列の成分を用いて以下の公式で与えられる：
$$N_{ij}^k = \sum_{r=0}^n \frac{S_{ir} S_{jr} (S^{-1})_{rk}}{S_{0r}}$$さらに $S$ 行列がユニタリ（$S^{-1} = S^\dagger$）かつ対称行列であることを用いると、以下の形にも書ける：
$$N_{ij}^k = \sum_{r=0}^n \frac{S_{ir} S_{jr} \overline{S_{kr}}}{S_{0r}}$$MTC における Grothendieck 環 $K_0(\mathcal{C})$ の乗算行列を $N_i$（成分が $(N_i)_{jk} = N_{ij}^k$）とする。MTCの一般論（Etingof-Gelaki-Nikshych-Ostrik や Bakalov-Kirillov）により、リボン圏の公理と非退化 S 行列から、圏論的 S 行列 $\tilde{S}$ はフュージョン代数のすべての乗算行列 $N_i$ を同時に対角化することが知られている：
$$N_i \tilde{S} = \tilde{S} D_i \quad \text{即ち} \quad (N_i)_{jk} = \sum_{r=0}^n \tilde{S}_{jr} \lambda_i^{(r)} (\tilde{S}^{-1})_{rk}$$ここで固有値 $\lambda_i^{(r)}$ は $\lambda_i^{(r)} = \frac{\tilde{S}_{ir}}{\tilde{S}_{0r}}$ で与えられる。
ここで前章の核心等式 $\tilde{S}_{ir} = \mathcal{D} S_{i, r^*}$ を代入する。添字の双対の取替え $r \mapsto r^*$ を行うと、スカラー倍 $\mathcal{D}$ は分母と分子で相殺され、完全に行列 $S$ に置き換わる：
$$(N_i)_{jk} = \sum_{r=0}^n S_{j, r^*} \left( \frac{S_{i, r^*}}{S_{0, r^*}} \right) (S^{-1})_{r^*, k} = \sum_{r=0}^n \frac{S_{ir} S_{jr} (S^{-1})_{rk}}{S_{0r}}$$これにより、解析的な仮定を一切追加することなく、純代数的な計算のみで Verlinde の公式が完全に導出された。Q.E.D.
| 構成要素 / 定理 | 主要論文 | 節 / 定理番号 | 達成された主要結果 |
|---|---|---|---|
| $P(z)$-テンソル積の構成 | Huang-Lepowsky I, II, III (1995) | Part II, Sec 3 Part III, Sec 2-3 |
頂点作用素代数加群のテンソル積の普遍性と Graded dual における幾何的定式化。 |
| アソシエーターと絶対収束 | Huang (2005) CCM | Sec 3, Sec 4 Theorem 4.1 |
確定特異点型偏微分方程式による相関関数の解析接続と五角形公理（Pentagon Axiom）の証明。 |
| ブレーディングとモノドロミー | Huang-Lepowsky III (1995) Huang (2005) CCM |
Part III, Sec 4 Sec 3 |
複素平面上の回転モノドロミーによるブレーディング $c_{W_1, W_2}$ と六角形公理の証明。 |
| 剛性（Rigidity）と双対性 | Huang (2008) CCM (Rigidity) | Sec 3, Sec 4 Theorem 4.4 |
反傾加群に対する評価射 $ev_W$・余評価射 $coev_W$ の構成とスネーク方程式（Z-図式）の完全証明。 |
| リボン圏構造 | Huang (2008) CCM (Rigidity) | Sec 5 Proposition 5.1 |
$L(0)$ 作用素によるリボンツイスト $\theta_W$ の構成とリボン圏の条件検証。 |
| S行列の完全一致 （最重要ポイント） |
Huang (2008) CCM (Verlinde) | Sec 4 Theorem 4.2 |
トーラスの切り開きによる共形ブロックの同型と $S_{ij} = \frac{1}{\mathcal{D}} \tilde{S}_{i, j^*}$ の証明。MTCのモジュラー非退化性を確立。 |
| Verlindeの公式の証明 | Huang (2008) CCM (Verlinde) | Sec 5 Theorem 5.1 |
MTCの代数構造と可逆 S 行列による多重対角化から Verlinde 公式 $N_{ij}^k = \sum_r \frac{S_{ir} S_{jr} (S^{-1})_{rk}}{S_{0r}}$ を導出。 |